double theories

Backlinks

• Attributed C-sets in CatColab

  • double theories, which are double categories, possibly with extra structure

• CatColab vs. Catlab.jl

  • related, mentioned: double theories, double category